(product(2^32-i) for i=1 to 77163)/(2^(77163*32))